-- MAIN == ERROR at global: execution aborted in function mul
DEF MAIN:nat == mul(999999999999999999,999999999999999999)
